typedef int Number;

Number randNum();